Dynamic Detection of Concurrency in Do-loops Using Ordering Matrices Robert

نویسندگان

  • GI WEDIG
  • Robert G. Wedig
چکیده

This paper describes the data structures and techniques used in dynamically detecting concurrency in Directly Exccu ted Language (DEL) instruction streams. By dynamic detection, it is meant that these techniques are designed to be used at run time with no special source manipulation or preprocessing required to perform the detection. . An abstract model of a concurrency detection structure called an ordering matrix is presented. This structure is used, with two other execution vectors, to represent the dependencies between instructions and indicate where potential concurrency exists. An algorithm is dcvelopcd which utilizes the ordering matrix to detect concurrency within dctcrminate DOloops. It is then generalized to detect concurrency in arbitrary DEL instruction streams.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Comparative Study of Random Matrices Capability in Uncertainty Detection of Pier’s Dynamics

Because of random nature of many dependent variables in coastal engineering, treatment of effective parameters is generally associated with uncertainty. Numerical models are often used for dynamic analysis of complex structures, including mechanical systems. Furthermore, deterministic models are not sufficient for exact anticipation of structure’s dynamic response, but probabilistic models...

متن کامل

On Transaction Processing with Partial Validation and Timestamp Ordering in Mobile Broadcast Environments

Conventional concurrency control protocols are inapplicable in mobile broadcast environments due to a number of constraints of wireless communications. Previous studies are focused on efficient processing of read-only transactions at the mobile clients, neglecting update transactions. In this paper, we design a new protocol for processing both read-only and update mobile transactions. The proto...

متن کامل

Quantification of identical and unique segments in ethylene-propylene copolymers using two dimensional liquid chromatography with infra-red detection

Hyphenating High Temperature High Performance Liquid Chromatography (HT-HPLC) with High Temperature Size Exclusion Chromatography (HT-SEC) (High Temperature Two Dimensional Liquid Chromatography (HT-HPLC x HT-SEC or HT 2D-LC)) leads to an isocratic elution in the second dimension, which in turn enables to use IR detector (quantitative detection) for monitoring the eluting polymers. Experimental...

متن کامل

Covariance Analysis of a vector tracking GPS receiver based on MMSE multiuser Detection

In high dynamic conditions, using vector tracking loops instead of scalar tracking loops in GPS receivers is proved as an efficient method to compensate the performance. The Minimum Mean Squared Error detector as a multiuser detector is applied in the vector tracking loop for more reliability and efficiency. The Kalman filter does the two tasks of tracking and extracting the navigation data aft...

متن کامل

Parametric timing estimation with Newton-Gregory formulae

This paper presents a novel method for parametric worst-case execution time (WCET) estimation of loops. The method determines a parametric bound on the iteration space size of loops with both affine and nonaffine loop bounds in an efficient manner using a formulation based on Newton–Gregory interpolating polynomials. Parametric WCET formulae are used to support dynamic scheduling decisions at r...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998